Joshua 11:18-20

New Revised Standard Version, Anglicised Catholic Edition

¹⁸ Joshua made war a long time with all those kings. ¹⁹ There was not a town that made peace with the Israelites, except the Hivites, the inhabitants of Gibeon; all were taken in battle. ²⁰ For it was the Lord’s doing to harden their hearts so that they would come against Israel in battle, in order that they might be utterly destroyed, and might receive no mercy, but be exterminated, just as the Lord had commanded Moses.